xen/arm: vgic: Make sure the number of SPIs is a multiple of 32
authorJulien Grall <julien.grall@arm.com>
Fri, 16 Feb 2018 14:59:56 +0000 (14:59 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 21 Feb 2018 01:06:19 +0000 (17:06 -0800)
commit23b40df6f098e3bcb2f105a4909860240976e40f
tree713e8df30ccbb404d3e8bcada16bce672b65aa4e
parent454ae490487659a51d71adc77aa02892d0725235
xen/arm: vgic: Make sure the number of SPIs is a multiple of 32

The vGIC relies on having a pending_irq available for every IRQs
described in the ranks. As each rank describes 32 interrupts, we need to
make sure the number of SPIs is a multiple of 32.

Reported-by: Jeff Kubascik <Jeff.Kubascik@dornerworks.com>
Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Cc: Jarvis Roach <Jarvis.Roach@dornerworks.com>
xen/arch/arm/vgic.c